Examples of Features Transition Systems, and python code performing the static analysis, related to the examples described in the paper: "Static Analysis of Featured Transition Systems" presented at SPLC 201
Software bugs are costly: they can have disastrous consequences on critical systems, but also on mor...
Section 1 presents examples and characterization of the simulation methods. Section 2 presents furth...
The set of the artefacts for a SIGCSE-2022 paper. The SIGCSE_atrifacts.pdf document contains detaile...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
This is a tool paper accompanying the following journal paper: Maurice H. ter Beek, Ferruccio D...
Empirical data and code used in paper *Towards a Large-Scale Empirical Study of Python3 Type Annotat...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
This supplemental document includes S1 to S5 Figs and Python routines of segmentation, baseline subt...
This is a Python code implemented as part of the research reported in the paper cited below: Martine...
International audienceSoftware Product Lines (SPLs) are families of similar softwareproducts built f...
Collection of Python scripts in support of the paper "Evidence of abrupt changes in sea ice dynamica...
Supplementary materials of the paper entitled: “Testing Software’s Changing Features with Environme...
Replication package for the paper: The Relationship Between Different Python Argument-Passing Mechan...
Software bugs are costly: they can have disastrous consequences on critical systems, but also on mor...
Section 1 presents examples and characterization of the simulation methods. Section 2 presents furth...
The set of the artefacts for a SIGCSE-2022 paper. The SIGCSE_atrifacts.pdf document contains detaile...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
Examples of Features Transition Systems, and python code performing the static analysis, related to ...
This is a tool paper accompanying the following journal paper: Maurice H. ter Beek, Ferruccio D...
Empirical data and code used in paper *Towards a Large-Scale Empirical Study of Python3 Type Annotat...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
This supplemental document includes S1 to S5 Figs and Python routines of segmentation, baseline subt...
This is a Python code implemented as part of the research reported in the paper cited below: Martine...
International audienceSoftware Product Lines (SPLs) are families of similar softwareproducts built f...
Collection of Python scripts in support of the paper "Evidence of abrupt changes in sea ice dynamica...
Supplementary materials of the paper entitled: “Testing Software’s Changing Features with Environme...
Replication package for the paper: The Relationship Between Different Python Argument-Passing Mechan...
Software bugs are costly: they can have disastrous consequences on critical systems, but also on mor...
Section 1 presents examples and characterization of the simulation methods. Section 2 presents furth...
The set of the artefacts for a SIGCSE-2022 paper. The SIGCSE_atrifacts.pdf document contains detaile...
DOI
Add to ORKG